equivspec hetsdg {

  element theorems {}
  element gmorphism {
    constituents {
      unordered {<TEXT>}
    }
  }
  element symbol {
    constituents {
      unordered {<TEXT>}
    }
  }
  element theorem {
    annotations {name?}
    constituents {
      unordered {<TEXT>}
    }
  }
  element movedtheorems {
    alternative {
      {
        annotations {renamedto?, name?}
      }
      {
        annotations {foo?, bar}
      }
    }
  }
  element dglink {
    annotations {source?, target?}
    constituents {
      unordered {type}
    }
  }
  element ruletarget {
    annotations {linkref?}
  }
  element global {}
  element axioms {}
  element type {
    constituents {
      unordered {<TEXT>}
    }
  }
  element dgraph {}
  element proofbasis {
    annotations {linkref?}
  }
  element reference {
    annotations {node?, library?}
  }
  element annotation {
    constituents {
      unordered {<TEXT>}
    }
  }
  element dgnode {
    annotations {name?}
  }
  element rule {
    constituents {
      unordered {<TEXT>}
    }
  }
  element view-defn {
    annotations {name?}
  }
  element spec-defn {
    annotations {name?}
  }
  element axiom {
    annotations {name?}
    constituents {
      unordered {<TEXT>}
    }
  }
  element declarations {}
  element signature {
    constituents {
      unordered {<TEXT>}
    }
  }
  
}
